1. A general framework for reasoning on inconsistency
Author: Maria Vanina Martinez ... [et al.]
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer logic,Inconsistency (Logic),Logic design
Classification :
TK7868
.
L6
G46
2013
2. Formal specification :
Author: Nimal Nissanke.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Application software -- Development.,Formal methods (Computer science)
Classification :
QA76
.
9
.
F67
N563
1999
3. PRICAI 2000 :
Author: 6th Pacific Rim International Conference on Artificial Intelligence, Melbourne, Australia, August 28 - September 1, 2000 ; Riichiro Mizoguchi, John Slaney (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: računalništvo -- umetna inteligenca -- logika -- logično programiranje -- ojačano učenje -- strojno učenje -- odkrivanje znanja -- Bayesianove mreže -- avtonomni agenti -- genetski algoritmi -- genetsko programiranje -- nevronske mreže -- rob
4. SOFSEM '95:
Author: edited by Miroslav Bartosek, Jan Staudek, Jirí Wiedermann.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Database management.,Software engineering.
5. Symbolic and Quantiative Approaches to Resoning with Uncertainty :
Author: edited by Linda C. van der Gaag.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic design.
Classification :
Q334
.
E358
2013
